Revision: tla-tools--devo--0--patch-33
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Fri Sep  5 13:26:03 JST 2003
Standard-date: 2003-09-05 04:26:03 GMT
Modified-files: tla-copy-changes tla-cvs-sync tla-fork
    tla-fork-archive tla-log-to-cvs-log tla-update-tags
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-33
Summary: Add some more explanatory comments

